Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
31	ISSUE 21 March[removed]NICTA plans for the future Welcome to the first NICTA News for[removed]After a lightly-paced Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:51 NICTA Electronics Dante Open Kernel Labs Gi-Fi Defence Science and Technology Organisation CeBIT University of New South Wales Fraunhofer Society Association of Commonwealth Universities Computing Technology
32	ISSUE 22 JUNE[removed]Inspiration and imagination secure NICTA’s path to success Hello and welcome to the June edition of NICTA News. Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:51 Association of Commonwealth Universities NICTA Open Kernel Labs Gernot Heiser UNSW School of Computer Science and Engineering Defence Science and Technology Organisation CeBIT Armadillo University of New South Wales Software System software Computing
33	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
34	The Role of Virtualization in Embedded Systems Gernot Heiser Open Kernel Labs and NICTA∗ and University of New South Wales Sydney, Australia ABSTRACT Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:37 Embedded systems VMware Hypervisor L4 microkernel family Microkernel Gernot Heiser Hyper-V Embedded hypervisor Virtualization System software Software Virtual machines
35	TECHNOLOGY WHITE PAPER Virtualization for Embedded Systems Gernot Heiser, PhD Chief Technology Officer Open Kernel Labs, Inc. Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2011-04-27 16:31:46 Hypervisor X86 virtualization Virtualization Ring L4 microkernel family Hyper-V Gernot Heiser Hardware-assisted virtualization Comparison of platform virtual machines System software Software Virtual machines
36	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: c.ymcdn.com Language: English - Date: 2014-10-08 18:35:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
37	INSIDE NICTA flies the flag for Australian ICT Research Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:52 Computing Academia Open Kernel Labs Gernot Heiser L4 microkernel family University of New South Wales Defence Science and Technology Organisation Australian National University Information and communication technologies in education Technology Association of Commonwealth Universities NICTA
38	Broadband and the Digital Economy Infrastructure Transport and Logistics Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:16:19 Open Kernel Labs Computing University of New South Wales Academia University of Melbourne Information and communication technologies in education NICTA Association of Commonwealth Universities Technology
39	ISSUE 31 \| SEPTEMBER[removed]INSIDE First implant of ‘pre-bionic eye’ New investment Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:52 Academia Open Kernel Labs Education Gernot Heiser Information and communication technologies in education University of New South Wales University of Sydney University of Melbourne Association of Commonwealth Universities Technology NICTA
40	ok-labs.com PRODUCTS ™ DEPLOYED IN MORE THAN Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-14 17:00:10 Computing Smartphones Virtual machines Open Kernel Labs L4 microkernel family Mobile virtualization Nirvana Phone Capability-based security Embedded hypervisor System software Software Embedded systems

UPDATE